@Article{SantiagoJúniorVija:2012:GeMoTe,
               author = "Santiago J{\'u}nior, Valdivino Alexandre de and Vijaykumar, 
                         Nandamudi Lankalapalli",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)}",
                title = "Generating model-based test cases from natural language 
                         requirements for space application software",
              journal = "Software Quality Journal",
                 year = "2012",
               volume = "20",
               number = "1",
                pages = "77--143",
                 note = "{Setores de Atividade: Pesquisa e desenvolvimento 
                         cient{\'{\i}}fico.}",
             keywords = "Model-based testing, Natural language requirements, Semantic 
                         translation model, Word sense disambiguation, Statecharts.",
             abstract = "Natural Language (NL) deliverables suffer from ambiguity, poor 
                         understandability, incompleteness, and inconsistency. Howewer, NL 
                         is straightforward and stakeholders are familiar with it to 
                         produce their software requirements documents. This paper presents 
                         a methodology, SOLIMVA, which aims at model-based test case 
                         generation considering NL requirements deliverables. The 
                         methodology is supported by a tool that makes it possible to 
                         automatically translate NL requirements into Statechart models. 
                         Once the Statecharts are derived, another tool, GTSC, is used to 
                         generate the test cases. SOLIMVA uses combinatorial designs to 
                         identify scenarios for system and acceptance testing, and it 
                         requires that a test designer defines the application domain by 
                         means of a dictionary. Within the dictionary there is a Semantic 
                         Translation Model in which, among other features, a word sense 
                         disambiguation method helps in the translation process. Using as a 
                         case study a space application software product, we compared 
                         SOLIMVA with a previous manual approach developed by an expert 
                         under two aspects: test objectives coverage and characteristics of 
                         the Executable Test Cases. In the first aspect, the SOLIMVA 
                         methodology not only covered the test objectives associated to the 
                         experts scenarios but also proposed a better strategy with test 
                         objectives clearly separated according to the directives of 
                         combinatorial designs. The Executable Test Cases derived in 
                         accordance with the SOLIMVA methodology not only possessed similar 
                         characteristics with the experts Executable Test Cases but also 
                         predicted behaviors that did not exist in the experts strategy. 
                         The key benefits from applying the SOLIMVA methodology/tool within 
                         a Verification and Validation process are the ease of use and, at 
                         the same time, the support of a formal method consequently leading 
                         to a potential acceptance of the methodology in complex software 
                         projects.",
                  doi = "10.1007/s11219-011-9155-6",
                  url = "http://dx.doi.org/10.1007/s11219-011-9155-6",
                 issn = "0963-9314",
                label = "lattes: 5039690360728170 1 SantiagoJ{\'u}niorVija:2012:GeMoTe",
             language = "en",
           targetfile = "SantiagoJr_Vijaykumar_2012.pdf",
        urlaccessdate = "05 maio 2024"
}